1. A course on mathematical logic
پدیدآورنده : Srivastava, Shashi Mohan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
S684C6
2013
2. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
پدیدآورنده : Hermes, Hans.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
3. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computable functions,، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
59
.
E67
2000
4. Enumerability, decidability, computability. An introduction to the theory of recursive functions
پدیدآورنده : Harmes, Hans
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursive functions,، Algebraithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
5. Enumerability, decidability, computability. An introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans.
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Enumerability decidability computability : an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
7. Gia to theōrēma mē-plērotētas tou Godel /
پدیدآورنده : V.A. Uspensky ; metaphrasē Thanos Christakopoulos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Gödel's theorem.,Incompleteness theorems.,Gödel's theorem.,Incompleteness theorems.
رده :
QA9
.
65
.
U8615
1998
8. Godel's incompleteness theorems
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
S68G6
9. Godel's incompleteness theorems
پدیدآورنده : / Raymond M. Smullyan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Godel's theorem
رده :
QA9
.
65
.
S69
1992
10. Godel's incompleteness theorems
پدیدآورنده : Raymond M. Smullyan
موضوع : Godel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Godel's incompleteness theorems
پدیدآورنده : / Raymond M. Smullyan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Godel's theorem
رده :
QA9
.
65
.
S69
1992
12. Godel's incompleteness theorems
پدیدآورنده : / Raymond M. Smullyan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Godel's theorem
رده :
QA9
.
65
.
S69
1992
13. Godel's proof
پدیدآورنده : Nagel, Ernest
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Godel's theorem
رده :
QA
9
.
N3
2005
14. Godel's proof
پدیدآورنده : Nagel, Ernest
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Godel's theorem
رده :
QA
9
.
N3
1958
15. Godel's proof
پدیدآورنده : Nagel, Ernest, 1091-
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
N3G6
2005
16. Godel's proof
پدیدآورنده : Nagel, Ernest, 1091-5891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
N23G6
17. Godel's proof /
پدیدآورنده : by Ernest Nagel and James R. Newman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Gödel's theorem.
رده :
QA9
.
65
.
N34
2002
18. Godel's proof
پدیدآورنده : Nagel, Ernest, 1091-
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
N3G6
19. Godel's proof
پدیدآورنده : Ernest Nagel and James R. Newman
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Godel's theorem
رده :
QA
,
9
,.
N3
,
1993
20. Godel's proof]CD[
پدیدآورنده : Nagel, Ernest, by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Godel's theorem
رده :
CD
1743-34
